Uses of Class
edu.uky.ai.lp.logic.NAryBooleanExpression

Packages that use NAryBooleanExpression

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of NAryBooleanExpression in edu.uky.ai.lp.logic

Subclasses of NAryBooleanExpression in edu.uky.ai.lp.logic

Modifier and Type	Class	Description
class	Conjunction	Represents an expression with 1 or more conjuncts which must all be true.
class	Disjunction	Represents an expression with 1 or more disjuncts, at least one of which must be true.